First-class Futures: a Study of Update Strategies

Futures enable an efficient and easy to use programming paradigm for distributed applications. A natural way to benefit from distribution is to perform asynchronous invocations to methods or services. Upon invocation, a request is en-queued at the destination side and the caller can continue its execution. But a question remains: “what if one wants to manipulate the result of an asynchronous invocation?” First-class futures provide a transparent and easy-to-program answer: a future acts as the placeholder for the result of an asynchronous invocation and can be safely transmitted between processes while its result is not needed. Synchronization occurs automatically upon an access requiring the result. As references to futures disseminate, a strategy is necessary to propagate the result of each request to the processes that need it. This report studies the efficient transmission of results: it presents three main strategies in a semi-formal manner, and provides a cost analysis with some experiments to determine the efficiency of each strategy. Key-words: distributed systems, future, future update strategies, active objects, asynchronous communications ∗ INRIA, Sophia Antipolis, Université de Nice – I3S – CNRS in ria -0 04 35 57 3, v er si on 1 24 N ov 2 00 9 Futurs de primière classe: Une étude des stratégies de mise à jour des futures Résumé : Une futur est un paradigme de programmation efficace et facile à utiliser pour les applications distribuées. Un futur est une espace réservé temporaire pour un résultat d’appel asynchrone. Cet article étudie la transmission efficace des résultats: Elle présente trois stratégies demanière semi-formelle, et fournit une analyse des coûts avec quelques expériences de manière à déterminer l’efficacité de chaque stratégie. Mots-clés : systèmes distribués, future, stratégies pour mise à jour les futures, objet active, communication asynchrone in ria -0 04 35 57 3, v er si on 1 24 N ov 2 00 9 Future update strategies 3